Design of Framework for Logic Synthesis Engine
نویسندگان
چکیده
Logic synthesis is a novel architectural concept used for converting a high level description of logic circuit into optimized gate level description. The method ranges from transforming a RTL description to producing an optimized netlist. Logic minimization plays an important role in optimization of logic synthesis. This optimization is done through the function minimization through different existing methods. The existing work on function minimization has resulted into many algorithms. In the proposed work, we form the basis for our synthesis engines vide detailed performance analysis and insight into the various minimization algorithms proposed erstwhile, and apply them on some real example circuit. We plan to propose our own algorithm as well for enhanced performance.
منابع مشابه
Filter Design for a Sinusoidal Synthesis Engine Using Linear Programming and Sound Synthesis Examples 1 Filter Design for a Sinusoidal Synthesis Engine Using Linear Programming and Sound Synthesis Examples
We concentrate on the design of a FIR lter for a fast transform based sinusoidal sound synthesis engine using linear programming and the construction of controller modules that emulate the behavior of contemporary and vintage commercial synthesizers or synthesis techniques. We will show that it is possible to create an entire highly controllable (playable) synthesis framework on top of the tran...
متن کاملROBUST FUZZY CONTROL DESIGN USING GENETIC ALGORITHM OPTIMIZATION APPROACH: CASE STUDY OF SPARK IGNITION ENGINE TORQUE CONTROL
In the case of widely-uncertain non-linear system control design, it was very difficult to design a single controller to overcome control design specifications in all of its dynamical characteristics uncertainties. To resolve these problems, a new design method of robust fuzzy control proposed. The solution offered was by creating multiple soft-switching with Takagi-Sugeno fuzzy model for optim...
متن کاملA Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملH∞ design of general multirate sampled-data control systems
Direct digital design of general multirate sampled-data systems is considered. To tackle causality constraints, a new and natural framework is proposed using nest operators and nest algebras. Based on this framework explicit solutions to the H1 and H2 multirate control problems are developed in the frequency domain.
متن کاملQuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification
We build an open-source RTL framework, QuteRTL, which can serve as a front-end for research in RTL synthesis and verification. Users can use QuteRTL to read in RTL Verilog designs, obtain CDFGs, generate hierarchical or flattened gate-level netlist, and link to logic synthesis/ optimization tools (e.g. Berkeley ABC). We have tested QuteRTL on various RTL designs and applied formal equivalence c...
متن کامل